Power set modulo small, the singular of uncountable cofinality
نویسندگان
چکیده
منابع مشابه
Power set modulo small, the singular of uncountable cofinality
Let μ be singular of uncountable cofinality. If μ > 2cf(μ), we prove that in P = ([μ],⊇) as a forcing notion we have a natural complete embedding of Levy(א0, μ+) (so P collapses μ+ to א0) and even Levy(א0,UJbd κ (μ)). The “natural” means that the forcing ({p ∈ [μ] : p closed},⊇) is naturally embedded and is equivalent to the Levy algebra. Moreover we prove more than conjectured: if P fails the ...
متن کاملThe tree property at double successors of singular cardinals of uncountable cofinality
Assuming the existence of a strong cardinal κ and a measurable cardinal above it, we force a generic extension in which κ is a singular strong limit cardinal of any given cofinality, and such that the tree property holds at κ++.
متن کاملAspects of singular cofinality
We study properties of closure operators of singular cofinality, and introduce several ZFC sufficient and equivalent conditions for the existence of antichain sequences in posets of singular cofinality. We also notice that the Proper Forcing Axiom implies the Milner-Sauer conjecture.
متن کاملThe cofinality of the saturated uncountable random graph
Assuming CH, let Γω1 be the saturated random graph of cardinality ω1. In this paper we prove that it is consistent that cf(Aut(Γω1)) and 2ω1 can be any two prescribed regular cardinals subject only to the requirement ω1 < cf(Aut(Γω1)) ≤ 2ω1 .
متن کاملCofinality and Measurability of the First Three Uncountable Cardinals
This paper discusses models of set theory without the Axiom of Choice. We investigate all possible patterns of the cofinality function and the distribution of measurability on the first three uncountable cardinals. The result relies heavily on a strengthening of an unpublished result of Kechris: we prove (under AD) that there is a cardinal κ such that the triple (κ, κ+, κ++) satisfies the stron...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Logic
سال: 2007
ISSN: 0022-4812,1943-5886
DOI: 10.2178/jsl/1174668393